Efficient Automatic Visualization of SystemC Designs
نویسندگان
چکیده
Complex designs can only be understood, if the underlying information is provided in a concise way. In this context visualization is becoming an essential part of system design, understanding and debugging. In this paper we present an approach to visualization of designs described in SystemC. For the visualization an industrial tool including many features, like e.g. schematic viewing, cross-probing between schematic view and source code view, critical path fragment navigation or object search, is used by an API. The techniques how to extract the information from SystemC are described and examples are provided.
منابع مشابه
An Integrated SystemC Debugging Environment
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the support of abstraction levels beyond RTL. But being able to implement complex System-on-Chip (SoC) designs in SystemC raises the necessity of new techniques to support debugging, system exploration, and verification. We present an integra...
متن کاملFormal Verification of SystemC Designs using the BLAST Software Model Checker
SystemC is widely used in hardware/software codesign. Although it is also used for the design of safety-critical applications, existing formal verification techniques for SystemC are still hardly used in industrial practice. The main reasons for this are scalability issues, the lacking support for many practically relevant SystemC language constructs, and that counter-examples are not always ea...
متن کاملImplementing Multi-MoC Extensions for SystemC: Adding CSP & FSM Kernels for Heterogeneous Modeling
As SystemC gains popularity as a modeling language of choice for System-on-Chip designs, heterogeneous modeling in SystemC and efficient simulation become increasingly important. However, in the current reference implementation, all SystemC models are simulated through a non-deterministic Discrete-Event simulation kernel, which schedules events at run-time. This sometimes results in too many de...
متن کاملAn Executable Operational Semantics for SystemC using Abstract State Machines
In this work, we use Abstract State Machines (ASM) modeling language, AsmL, to define the semantics of the SystemC system level language. ASM provides an efficient methodology for formally specifying computing systems. The SystemC semantics we defined include the SystemC simulator and non–trivial SystemC components including FIFO channels, MUTEX channels, message queuing, request–grant protocol...
متن کاملAnalyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
The complexity of hardware designs is still increasing according to Moore's law. With embedded systems being more and more intertwined and working together not only with each other, but also with their environments as cyber physical systems (CPSs), more streamlined development workflows are employed to handle the increasing complexity during a system's design phase. SystemC is a C++ library for...
متن کامل